Cryptographic protocols with everyday objects
نویسندگان
چکیده
منابع مشابه
DrumTop: Playing with Everyday Objects
We introduce a prototype of a new tangible step sequencer that transforms everyday objects into percussive musical instruments. DrumTop adapts our everyday task-oriented hand gestures with everyday objects as the basis of musical interaction, resulting in an easily graspable musical interface for musical novices. The sound, tactile, and visual feedback comes directly from everyday objects as th...
متن کاملProgramming Cryptographic Protocols
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principals engaging in it. Moreover, trust management assertions may be attached to protocol actions, constraining the behavior of a principal to be compatible with its own trust policy. We embody these ideas in a cryptographic ...
متن کاملVerifying Cryptographic Protocols with Subterms Constraints
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing of messages by agents or intruders: Information expected in a protocol message has to be located at a fixed position. However this is too restrictive for instance to model web-service protocols where messages are XML ...
متن کاملAbstracting Cryptographic Protocols with Tree Automata
ing Cryptographic Protocols with Tree Automata ?
متن کاملLecture Notes Cryptographic Protocols
ii iii Preface In this course, we focus on asymmetric techniques for cryptographic protocols, also considering proofs of security for various constructions. Motivating example: 'Sinterklaaslootjes trekken' is a Dutch tradition for buying presents and writing little poems, see, The same tradition is also known as " Secret Santa " , and a lot of websites and programs are available to help people ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2013
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-013-0274-7